
(**
   Types with equality.
 *)
module type T =
sig
  type t

  val equal : t -> t -> bool
    (** Equality. *)

end
